Constraint Programming
----------------------

<!--
SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.

SPDX-License-Identifier: CC0-1.0
-->

[(Up)](../../README.md#topics) | _See also: [Logic Programming](../Logic%20Programming/README.md#logic-programming), [Relational Programming](../Relational%20Programming/README.md#relational-programming)_

- - - -


### Web resources

[Lecture 15 - Constraint Satisfaction Problems](https://static.catseye.tc/archive/www.doc.ic.ac.uk/sgc__teaching__pre2012__v231/Constraint%20Satisfaction%20Problems.html) ★★★ [💭](commentary/Chris%20Pressey.md#lecture-15---constraint-satisfaction-problems)

[Lecture 15 - Constraint Satisfaction Problems (slides)](https://web.archive.org/web/20180404184624/http://www.doc.ic.ac.uk:80/~sgc/teaching/pre2012/v231/lecture15.ppt) ★★ [💭](commentary/Chris%20Pressey.md#lecture-15---constraint-satisfaction-problems-slides)

[Narrowing of algebraic value sets - Wikipedia](https://en.wikipedia.org/wiki/Narrowing_of_algebraic_value_sets) [💭](commentary/Chris%20Pressey.md#narrowing-of-algebraic-value-sets---wikipedia)

[constraint programming - clp(Z) vs. Kiselyov relational arithmetic - Stack Overflow](https://stackoverflow.com/questions/61944276/clpz-vs-kiselyov-relational-arithmetic) ★


### Books

Principles of Constraint Programming (borrow @ [archive.org](https://archive.org/details/principlesofcons0000aptk)) ★ [💭](commentary/Chris%20Pressey.md#principles-of-constraint-programming)

Constraint Programming Languages: Their Specification and Generation (borrow @ [archive.org](https://archive.org/details/constraintprogra0000lele)) ★★★ [💭](commentary/Chris%20Pressey.md#constraint-programming-languages-their-specification-and-generation)